\documentclass[conference]{IEEEtran}
\usepackage{url}
\usepackage{subfigure,multirow,graphics,graphicx,wrapfig,boxedminipage}
\usepackage{calc}
\usepackage{xspace}
\usepackage{amsmath,amsthm,amssymb,amstext,pifont,stmaryrd}
\usepackage{listings}
\usepackage{color}

\lstdefinelanguage{ADTlanguage}%
  {morekeywords={import,Adt,Sorts,Generators,Operations,Axioms,Variables},
   morecomment=[l];;,%
   morecomment=[s]{(:}{:)},%
   morestring=[b]",%
   morestring=[b]',%
  }[keywords,comments,strings]

\newtheorem{definition}{\textbf{Definition}}
\newtheorem{proposition}{Proposition}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{ex}{\textbf{Example}}
  
\newcommand{\setlistings}[2]{
  		\lstset{language=#1, basicstyle=\scriptsize, tabsize=2}  
		\lstset{rulecolor=\color{black}}
		\lstset{linewidth=\textwidth}
		\lstset{commentstyle=\textit, stringstyle=\upshape,showspaces=false}
		\lstset{showstringspaces=false}
		\lstset{frame=single,frameround=ffff}
		\lstset{numbers=left, numberstyle=\tiny, stepnumber=2, numbersep=5pt, firstnumber=#2}
		\lstset{breaklines=true}
		\lstset{escapeinside={(*@}{@*)}}
		} 
		
\newcommand{\setDefListings}[2]{ 
  		\lstset{language=#1, basicstyle=\scriptsize, tabsize=2}  
		\lstset{rulecolor=\color{black}}
		\lstset{linewidth=\textwidth} 
		\lstset{commentstyle=\textit, stringstyle=\upshape,showspaces=false}
		\lstset{showstringspaces=false}
		\lstset{frame=single,frameround=ffff}
		\lstset{breaklines=true}
		\lstset{escapeinside={(*@}{@*)}}
		} 
		
\setcounter{tocdepth}{3}
%\usepackage[final,pdftex]{graphicx}
        %\pdfcompresslevel=9
        %\DeclareGraphicsExtensions{.png}
\usepackage{epsfig}


\usepackage{color}
\newcommand{\chunk}[2]{%
	\fcolorbox{black}{yellow}{\bfseries\sffamily\scriptsize#1}%
   {$\blacktriangleright$#2$\blacktriangleleft$}%
}
\newcommand{\eugene}[1]{\chunk{Eugene}{\textbf{\textcolor{blue}{\textsl{#1}}}}}
\newcommand{\moussa}[1]{\chunk{Moussa}{\textbf{\textcolor{blue}{\textsl{#1}}}}}
\newcommand{\levi}[1]{\chunk{Levi}{\textbf{\textcolor{red}{\textsl{#1}}}}}
\newcommand{\jackin}[1]{\chunk{Jackin}{\textbf{\textcolor{green}{\textsl{#1}}}}}

%\documentstyle[times,art10,twocolumn,latex8]{article}

%------------------------------------------------------------------------- 
% take the % away on next line to produce the final camera-ready version 
\pagestyle{empty}

%------------------------------------------------------------------------- 

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% Standard shortcuts
\newcommand{\eg}{\emph{e.g.,~}}							% exempli gratia (for the sake of example)
\newcommand{\ie}{\emph{i.e.,~}}							% id est (that is)
\newcommand{\etal}{~\emph{et al.}}					% et alia (and others)
\newcommand{\Fig}[1][Fig.]{#1~}  						% choose Fig. or Figure, depending on the style
\newcommand{\Tab}[1][Tab.]{#1~} 
\newcommand{\Sect}[1][Section]{#1~}					% section name always with a capital S
\newcommand{\Model}[1]{\textsf{#1}}					% name of any modeling artifact (e.g., formalism, model element, rule, ...)
\newcommand{\Code}[1]{\texttt{\small{#1}}}	% inline code
\providecommand{\e}[1]{\ensuremath{\times 10^{#1}}}	% scientific notation: x.10^y

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\newcommand{\Alpina}{AlPiNA\xspace}
\newcommand{\tickYes}{\checkmark}
\newcommand{\tickNo}{\hspace{1pt}\ding{55}}
\newcommand{\FS}{\ensuremath{\mathtt{FS}}}
\newcommand{\FSS}{\ensuremath{\mathtt{FS}_{\mathsf{s}}}}
\newcommand{\FSC}{\ensuremath{\mathtt{FS}_{\mathsf{c}}}}
\DeclareMathOperator{\eqqdef}{\stackrel{\triangle}{=}}
\newcommand*{\QEDB}{\hfill{}\ensuremath{\blacksquare}}%
\newcommand*{\QEDD}{\hfill{}\ensuremath{\square}}%


%\newcommand{\keywords}[1]{\par\addvspace\baselineskip
%\noindent\keywordname\enspace\ignorespaces#1}

\begin{document}

\title{
	Invariant Preservation In Iterative Modeling
}

\author{
	\IEEEauthorblockN{Levi L\'ucio}
	\IEEEauthorblockA{McGill University\\
		Montr\'eal QC, Canada}
	\and
	\IEEEauthorblockN{Eugene Syriani}
	\IEEEauthorblockA{University of Alabama\\
		Tuscaloosa AL, USA}
	\and
	\IEEEauthorblockN{Moussa Amrani}
	\IEEEauthorblockA{University of Luxembourg\\
		Luxembourg}
	\and	
	\IEEEauthorblockN{Qin Zhang}
	\IEEEauthorblockA{University of Luxembourg\\
	Luxembourg}
	\and	
	\IEEEauthorblockN{Hans Vangheluwe}
	\IEEEauthorblockA{McGill University, Canada and\\
	University of Antwerp, Belgium}
}

\maketitle

\input{Abstract}
\input{introduction}
\input{Running}
\input{Preservation}
\input{Evolving}
\input{Discussion-RW}
\input{conclusions}
%\input{References}

\bibliographystyle{plain} 
\bibliography{bibliography,ng,es,levi}

\end{document}

